<?php

class Http404Exception extends HttpException
{
}

?>